<?php session_start();
if (!isset($_SESSION["user"])) header("location:index.php");
?>
<?php
session_destroy();
header("location:index.php");
?>
<html><head><link rel="shortcut icon" href="./files/favicon.ico"></head><body>
</body></html>
